main.o: main.cpp formule.hpp sat.hpp parser.hpp
